From ae1754163bfc75b4e0551184022ca23dee41a997 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Fri, 17 Feb 2006 12:28:35 +0100 Subject: [PATCH] Fix a VMX FPU bug introduced in changeset 8834. From: Edwin Zhai Signed-off-by: Keir Fraser --- xen/include/asm-x86/hvm/vmx/vmx.h | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/include/asm-x86/hvm/vmx/vmx.h b/xen/include/asm-x86/hvm/vmx/vmx.h index d0583a8290..9b926e5563 100644 --- a/xen/include/asm-x86/hvm/vmx/vmx.h +++ b/xen/include/asm-x86/hvm/vmx/vmx.h @@ -395,6 +395,7 @@ static inline void vmx_stts(void) __vmread_vcpu(v, CR0_READ_SHADOW, &cr0); if ( !(cr0 & X86_CR0_TS) ) { + __vmread_vcpu(v, GUEST_CR0, &cr0); __vmwrite(GUEST_CR0, cr0 | X86_CR0_TS); __vm_set_bit(EXCEPTION_BITMAP, EXCEPTION_BITMAP_NM); } -- 2.30.2